منابع مشابه
Term Rewrite Rules for Finite Fields
Let F1, . . . ,Fk be finite fields with distinct characteristics. We give a finite set of equations which axiomatize the equational theory of F1, . . . ,Fk and then use these axioms to find a finite AC-term rewrite system which is complete for this theory. In particular this gives finite complete AC-term rewrite systems for many instances of x ≈ x rings. However there are m for which no such te...
متن کاملPathogens reWritE Rho's Rules
Many bacterial pathogens use a specialized "type III" secretion system to deliver virulence effector proteins into host mammalian cells. In this issue of Cell, Alto et al. (2006) describe a new family of effectors that share a WxxxE sequence motif. These effectors directly stimulate host signaling pathways by mimicking activated Ras-like cellular GTPases.
متن کاملScoped Dynamic Rewrite Rules
ion Generate new variable name and renaming rule for variables: NewVar : x -> y where new => y ; rules(RenameVar : Var(x) -> Var(y)) Can be used in renaming of many binding constructs.
متن کاملRewrite Rules and Strategies for Molecular Graphs
In this paper, we present a rewriting framework for modeling molecular complexes, biochemical reaction rules and generation of biochemical networks based on the representation of molecular complexes as a particular type of multigraphs with ports called molecular graphs. The advantage of this approach is to obtain for free a rewriting calculus which allows defining at the same level transformati...
متن کاملUsable Rules for Context-Sensitive Rewrite Systems
Recently, the dependency pairs (DP) approach has been generalized to context-sensitive rewriting (CSR). Although the context-sensitive dependency pairs (CS-DP) approach provides a very good basis for proving termination of CSR, the current developments basically correspond to a ten-years-old DP approach. Thus, the task of adapting all recently introduced dependency pairs techniques to get a mor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Algebra and Computation
سال: 1991
ISSN: 0218-1967,1793-6500
DOI: 10.1142/s0218196791000249